1. Construction et verification de programmes
Author: / Roland C. Backhouse
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer programes
Classification :
QA
76
.
6
.
B3C6
2. Construction et verification de programmes
Author: BACKHOUSE,ROLAND C
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
Classification :
QA
76
.
7
.
B22
1989
3. Construction et verification le programmes
Author: Backhouse, Roland C.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer software- Verfication
Classification :
005
B126c
4. Program construction and verification
Author: Backhouse, Roland C.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers
Classification :
QA
76
.
7
.
B28
1986
5. Program construction and verification
پدیدآورنده : Roland C. Backhouse
موضوع : Computer programs,Computer programs- Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Program construction and verification
Author: / Roland C. Backhouse
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming
Classification :
QA
76
.
7
.
B28
1986
7. Syntax of programming languages: theory and practice
Author: Backhouse, Roland C.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Syntax ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
B3
